The Strong HB Problem and its Applications
ثبت نشده
چکیده
The HB problem first introduced by Blum and Hopper has been the basis for extremely lightweight authentication protocols for RFID tags [18, 19]. In this paper we introduce a variant of this problem which we call the strong HB problem. We analyze the strong HB problem and give some arguments that support its hardness. We then use the strong HB assumption in two applications of independent interest. First, while the HB problem has been the basis of several lightweight protocols for RFID authentication, none of these protocols have proofs of security against fully adaptive man-inthe-middle attacks. We improve on the HB protocol [15] using the strong HB assumption. Our protocol is two rounds less than HB, with similar efficiency otherwise, and can be proven secure against man-in-the-middle attacks. In addition, we create a related-key secure nonadaptive MAC based on our improved version of the HB .
منابع مشابه
Strong convergence of variational inequality problem Over the set of common fixed points of a family of demi-contractive mappings
In this paper, by using the viscosity iterative method and the hybrid steepest-descent method, we present a new algorithm for solving the variational inequality problem. The sequence generated by this algorithm is strong convergence to a common element of the set of common zero points of a finite family of inverse strongly monotone operators and the set of common fixed points of a finite family...
متن کاملStrong Convergence of the Iterations of Quasi $phi$-nonexpansive Mappings and its Applications in Banach Spaces
In this paper, we study the iterations of quasi $phi$-nonexpansive mappings and its applications in Banach spaces. At the first, we prove strong convergence of the sequence generated by the hybrid proximal point method to a common fixed point of a family of quasi $phi$-nonexpansive mappings. Then, we give applications of our main results in equilibrium problems.
متن کاملStrong convergence theorem for solving split equality fixed point problem which does not involve the prior knowledge of operator norms
Our contribution in this paper is to propose an iterative algorithm which does not require prior knowledge of operator norm and prove a strong convergence theorem for approximating a solution of split equality fixed point problem for quasi-nonexpansive mappings in a real Hilbert space. So many have used algorithms involving the operator norm for solving split equality fixed point problem, ...
متن کاملControl Problem and its Application in Management and Economic
The control problem and Dynamic programming is a powerful tool in economics and management. We review the dynamic programming problem from its beginning up to its present stages. A problem which was involved in physics and mathematics in I 7” century led to a branch of mathematics called calculus of variation which was used in economic, and management at the end of the first quarter of the 20” ...
متن کاملF-TRANSFORM FOR NUMERICAL SOLUTION OF TWO-POINT BOUNDARY VALUE PROBLEM
We propose a fuzzy-based approach aiming at finding numerical solutions to some classical problems. We use the technique of F-transform to solve a second-order ordinary differential equation with boundary conditions. We reduce the problem to a system of linear equations and make experiments that demonstrate applicability of the proposed method. We estimate the order of accuracy of the proposed ...
متن کامل